Skip to main content

Unix temporal instant

Overview​

Definition​

A Temporal Instant as specified by the number of Seconds that have elapsed since the specified Epoch Time as described by an implementation of Unix Time.

Examples​

Not defined.

Aliases​

Not defined.

URI​

https://www.commoncoreontologies.org/ont00000114

Subclass Of​

Ontology Reference​

Properties​

Data Properties​

OntologyLabelDefinitionExampleDomainRange
abiis curated in foundryRelates a class to the foundry it is curated in.The class cco:ont00001262 is curated in the foundry 'enterprise_management_foundry' and 'personal_ai_foundry'.entitystring
abidata propertyA data property is a property that is used to represent a data property.entitystring

Object Properties​

OntologyLabelDefinitionExampleDomainRangeInverse Of
abihas backing data sourceRelates an entity to the data source that provides the underlying data for that entity. This property indicates the origin or source of the data that supports the entity.A report entity may have a backing data source that provides the raw data used to generate the report.entityData Source-
abihas template classRelates a subject to its template class.entityTemplate Class-
bfoexists at(Elucidation) exists at is a relation between a particular and some temporal region at which the particular existsFirst World War exists at 1914-1916; Mexico exists at January 1, 2000entitytemporal region-
bfopreceded byb preceded by c = Def b precedes cThe temporal region occupied by the second half of the match is preceded by the temporal region occupied by the first half of the matchoccurrentoccurrentprecedes
bfoprecedes(Elucidation) precedes is a relation between occurrents o, o' such that if t is the temporal extent of o & t' is the temporal extent of o' then either the last instant of o is before the first instant of o' or the last instant of o is the first instant of o' & neither o nor o' are temporal instantsThe temporal region occupied by Mary's birth precedes the temporal region occupied by Mary's death.occurrentoccurrent-
bfohas occurrent partb has occurrent part c = Def c occurrent part of bMary's life has occurrent part Mary's 5th birthdayoccurrentoccurrentoccurrent part of
bfohas temporal partb has temporal part c = Def c temporal part of bYour life has temporal part the first year of your lifeoccurrentoccurrenttemporal part of
bfooccurrent part of(Elucidation) occurrent part of is a relation between occurrents b and c when b is part of cMary's 5th birthday is an occurrent part of Mary's life; the first set of the tennis match is an occurrent part of the tennis matchoccurrentoccurrent-
bfotemporal part ofb temporal part of c = Def b occurrent part of c & (b and c are temporal regions) or (b and c are spatiotemporal regions & b temporally projects onto an occurrent part of the temporal region that c temporally projects onto) or (b and c are processes or process boundaries & b occupies a temporal region that is an occurrent part of the temporal region that c occupies)Your heart beating from 4pm to 5pm today is a temporal part of the process of your heart beating; the 4th year of your life is a temporal part of your life, as is the process boundary which separates the 3rd and 4th years of your life; the first quarter of a game of football is a temporal part of the whole gameoccurrentoccurrent-
ccois cause ofx is_cause_of y iff x and y are instances of Occurrent, and y is a consequence of x.occurrentoccurrentcaused by
ccocaused byx caused_by y iff x and y are instances of Occurrent, and x is a consequence of y.occurrentoccurrent-
bfohas first instantt has first instant t' = Def t' first instant of tThe first hour of a year has first instant midnight on December 31temporal regiontemporal instant-
bfohas last instantt has last instant t' = Def t' last instant of tThe last hour of a year has last instant midnight December 31temporal regiontemporal instant-
ccois temporal region oft is temporal region of p iff p occupies temporal region t.temporal region{'or': ['http://purl.obolibrary.org/obo/BFO_0000015', 'http://purl.obolibrary.org/obo/BFO_0000035']}-
ccois inside instant ofFor Temporal Instant t1 and Temporal Interval t2, t1 is inside instant of t2 if and only if there are Temporal Instants t3 and t4 non-identical to t1 and part of t2 such that t3 is before t1 and t4 is after t1.zero-dimensional temporal regionone-dimensional temporal region-
ccoinstant is afterA temporal instant t2 (a instance of a zero-dimensional temporal region) is after another temporal instant t1 iff there exists some instance of a temporal interval ti1 such that t1 is the starting instant of ti1 and t2 is the ending instant of ti1.zero-dimensional temporal regionzero-dimensional temporal regioninstant is before
ccoinstant is beforeA temporal instant t1 (a instance of a zero-dimensional temporal region) is before another temporal instant t2 iff there exists some instance of a temporal interval ti1 such that t1 is the starting instant of ti1 and t2 is the ending instant of ti1.zero-dimensional temporal regionzero-dimensional temporal region-
bfofirst instant oft first instant of t' = Def t is a temporal instant & t' is a temporal region t' & t precedes all temporal parts of t' other than tAn hour starting at midnight yesterday has first instant midnight yesterdaytemporal instanttemporal regionhas first instant
bfolast instant oft last instant of t' = Def t is a temporal instant & t' is a temporal region & all temporal parts of t' other than t precede tLast midnight is the last instant of yesterdaytemporal instanttemporal regionhas last instant